переменно строгая импликация

Mathematics: variably strict conditional